181. Proceedings
پدیدآورنده : Symposium on Logic in Computer Science )4th: 9891: Asilomar Conference Center, Pacific Grove, California(
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Electronic data processing- Mathematics- Congresses,، Logic, Symbolic and mathematical- Congresses
رده :
QA
76
.
9
.
M35
S94
1989
182. Proceedings of the Conference on Applied Mathematics and Scientific Computing
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Science ; Data processing ; Congresses. ; Science ; Mathematics ; Congresses. ;
183. Proceedings of the Third International Conference on Computing, Mathematics and Statistics (iCMS2017) :
پدیدآورنده : editors, Liew-Kee Kor [and 3 others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer systems, Congresses.,Mathematics, Congresses.,Statistics, Congresses.,Computer systems.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Mathematics.,Statistics.
رده :
QA76
.
24
184. Proceedings of the first International Symposium on Impact and Friction of Solids, Structures and Intelligent Machines :
پدیدآورنده : editor, Ardéshir Guran.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Panagiotopoulos, P. D.,1950-,Panagiotopoulos, P. D.,1950-,Friction, Congresses.,Impact, Congresses.,Friction.,Impact.,SCIENCE-- Nanoscience.
رده :
TA354
.
I565
1998eb
185. Proceedings of the 4th Brazilian Technology Symposium (BTSym'18) :
پدیدآورنده : Yuzo Iano [and four others].
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Technological innovations, Congresses.,Technology, Congresses.,SCIENCE-- Applied Sciences.,Technological innovations.,TECHNOLOGY & ENGINEERING-- Inventions.,TECHNOLOGY & ENGINEERING-- Reference.,Technology.
رده :
T173
.
8
.
B733
2018
186. Quantum interaction :
پدیدآورنده : Dawei Song [and others] (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses,Quantum theory, Congresses,Quantum computers-- Congresses,Quantum theory-- Congresses
رده :
Q334
.
Q25
2011
187. Reachability problems :
پدیدآورنده : Igor Potapov, Pierre-Alain Reynier (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer science-- Mathematics, Congresses.,Computer systems-- Verification, Congresses.,Decidability (Mathematical logic), Congresses.,Logics and Meanings of Programs.,Math Applications in Computer Science.,Numeric Computing.,Probability and Statistics in Computer Science.,Computer programming / software development.,Computer science-- Mathematics.,Computer systems-- Verification.,Computers-- Data Processing.,Computers-- Mathematical & Statistical Software.,Computers-- Programming-- Algorithms.,Computers-- Programming-- General.,Decidability (Mathematical logic),Mathematical theory of computation.,Maths for computer scientists.
رده :
QA76
.
76
.
V47
188. Reality and measurement in algebraic quantum theory :
پدیدآورنده : Masanao Ozawa, Jeremy Butterfield, Hans Halvorson, Miklós Rédei, Yuichiro Kitajima, Francesco Buscemi, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Quantum theory, Congresses.,Quantum theory.,SCIENCE-- Energy.,SCIENCE-- Mechanics-- General.,SCIENCE-- Physics-- General.
رده :
QC173
.
96
189. Reasoning web :
پدیدآورنده : Claudia d'Amato, Martin Theobald (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Semantic computing, Congresses.,Semantic Web, Congresses.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Data Mining and Knowledge Discovery.,Database Management.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,Semantic computing.,Semantic Web.
رده :
TK5105
.
88815
190. Recent advances in scientific computing and partial differential equations : International Conference on the Occasion of Stanley Osher's 60th birth day, December 12-15, 2002, Hong Kong Baptist University, Hong Kong
پدیدآورنده : S.Y. Cheng, C.-W. Shu, T. Tang, editors
کتابخانه: (طهران)
موضوع : Congresses ، Science -- Data processing,Congresses ، Differential equations, Partial
رده :
Q
183
.
9
.
I538
2002
191. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
پدیدآورنده : ]edited by[ Harrie de Swart
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع : ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
رده :
QA
76
.
9
.
R36
2011
193. Scientific computing in electrical engineering :
پدیدآورنده : Ulrich Langer, Wolfgang Amrhein, Walter Zulehner, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Electrical engineering-- Data processing, Congresses.,Engineering mathematics-- Data processing, Congresses.,Computational Science and Engineering.,Computer-Aided Engineering (CAD, CAE) and Design.,Electrical Engineering.,Mathematical Modeling and Industrial Mathematics.,Mathematics.,Simulation and Modeling.,Theoretical, Mathematical and Computational Physics.,Computer modelling & simulation.,Computer-aided design (CAD),Electrical engineering-- Data processing.,Electrical engineering.,Engineering mathematics-- Data processing.,Mathematical modelling.,Mathematical physics.,Maths for scientists.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TK5
194. Scientific software systems: Based on the proceedings of the international symposium on scientific software, July 1988
پدیدآورنده : Edited by J. C. Mason and M. G. Cox
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع : Mathematics - Data processing - Congresses,Computer software - Congresses
رده :
QA
,
76
.
95
,.
I58
,
1990
195. Semantic technology :
پدیدآورنده : Ryutaro Ichise, Freddy Lecue, Takahiro Kawamura, Dongyan Zhao, Stephen Muggleton, Kouji Kozaki (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data mining, Congresses.,Data warehousing, Congresses.,Linked data, Congresses.,Semantic computing, Congresses.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Data warehousing.,Information retrieval.,Linked data.,Mathematical theory of computation.,Mathematics-- Logic.,Natural language & machine translation.,Public administration.,Semantic computing.
رده :
QA76
.
5913
196. Sequences and their applications--SETA 2012
پدیدآورنده : Tor Helleseth, Jonathan Jedwab (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Sequences (Mathematics)-- Data processing, Congresses,Sequences (Mathematics), Congresses
رده :
QA292
.
S48
2012eb
197. Simulation, image processing, and ultrasound systems for assisted diagnosis and navigation :
پدیدآورنده : Danail Stoyanov, Zeike Taylor, Stephen Aylward, João Manuel R.S. Tavares, Yiming Xiao, Amber Simpson et al. (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer-assisted surgery, Congresses.,Diagnostic imaging-- Data processing, Congresses.,Artificial Intelligence.,Computer Communication Networks.,Computer Hardware.,Health Informatics.,Image Processing and Computer Vision.,Artificial intelligence.,Computer hardware.,Computer-assisted surgery.,Computers-- Computer Graphics.,Computers-- Hardware-- General.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Diagnostic imaging-- Data processing.,Health & safety aspects of IT.,Image processing.,Medical-- General.,Network hardware.
رده :
RC78
.
7
.
D53
198. Simulation in engineering sciences
پدیدآورنده : edited by J. Burger and Y. Jarny ; organized by AFCET and ENSM ; sponsored by IFAC (Applications Committee)
کتابخانه: كتابخانه مركزي دانشكده نفت اهواز (خوزستان)
موضوع : Automatic control, Mathematical models, Congresses,Automatic control, Data processing, Congresses,Computer simulation, Congresses
رده :
TJ
,
212
.
2
,.
S55
,
1983
199. Soft computing in data science :
پدیدآورنده : Bee Wah Yap, Azlinah Hj Mohamed, Michael W. Berry (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Data mining, Congresses.,Evolutionary computation, Congresses.,Human-computer interaction, Congresses.,Pattern recognition systems, Congresses.,Soft computing, Congresses.,Data mining.,Evolutionary computation.,Human-computer interaction.,Pattern recognition systems.,Soft computing.
رده :
QA76
.
9
.
S63
200. Structural information and communication complexity :
پدیدآورنده : Zvi Lotker, Boaz Patt-Shamir (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer networks, Congresses.,Digital communications, Congresses.,Electronic data processing-- Distributed processing, Congresses.,Algorithms & data structures.,Computer networking & communications.,Computer networks.,Computers-- Data Modeling & Design.,Computers-- Data Processing.,Computers-- Hardware-- General.,Computers-- Operating Systems-- General.,Computers-- Programming-- Algorithms.,Digital communications.,Discrete mathematics.,Electronic data processing-- Distributed processing.,Operating systems.
رده :
QA76
.
9
.
A43
